g:GrpSig, a, b:|g|. (a  b)   

latex

Up	groups 1
Definitions of Statement	a  b
Definitions	x f y, a  b, , t  T, x:A. B(x)
Lemmas	grp sig wf, grp car wf, grp le wf, assert wf